静的型付け言語では、 静的型付け言語不変性がデータの基本的な状態となり、メモリの安全性和予測可能な実行を保証します。変数はシャドー化または可変にできる一方で、 定数 値を名前に対して永久的に束縛することで、さらに一歩進んだ仕組みとなります。

1. 定数の厳格さ

標準的な変数とは異なり、 型推論 コンパイラがデータ型を自動的に導出できる一方、定数は明示的な 型注釈 （例： : u32）が必要です。これにより、コードバイナリ内での堅固な契約が維持されます。

2. コンパイル時評価

定数は単なる不変変数ではなく、コンパイル時に評価され、プログラムのバイナリに「焼き込み」られます。これにより、コンパイラは 定数式 （例： 60 * 60 * 3）をプログラムが実行される前に評価でき、パフォーマンスを最適化できます。

3. 絶対的な不変性

定数は「唯一の真実の源」として機能します。 mut mutキーワードを使って可変にすることはできず、同じスコープ内でシャドー化もできないため、プログラムの重要なパラメータが実行中常に変更されることなく保たれます。